Review by: Steven Orey: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An Introduction to Deductive Logic.by Hughes Leblanc

Review by: Steven Orey

Journal:

American Mathematical Monthly

Year:

1955

Language:

english

File:

PDF, 232 KB

english, 1955

2

Arithmetization of Metamathematics in a General Settingby S. Feferman

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 330 KB

english, 1966

3

IBM Journal of Research and Development: Toward Mechanical Mathematicsby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 213 KB

english, 1965

4

A survey of Mathematical logicby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 296 KB

english, 1963

5

Modern Probability Theory: An Introductory Text Bookby B. R. Bhat

Review by: Steven Orey

Journal:

Journal of the American Statistical Association

Year:

1983

Language:

english

File:

PDF, 225 KB

english, 1983

6

Probability Theory II (4th ed.)by M. Loeve

Review by: Steven Orey

Journal:

Journal of the American Statistical Association

Year:

1979

Language:

english

File:

PDF, 457 KB

english, 1979

7

Die Antinomien der Mengenlehreby E. Specker

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 93 KB

english, 1957

8

Introductionby Margaret Macdonald;Demonstratives and Proper Namesby A. M. MacIver;Russell's Theory of Descriptionsby P. T. Geach;Heterology and Hierarchyby Nathaniel Lawrence

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 313 KB

english, 1955

9

[untitled]

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 310 KB

english, 1965

10

Partial Systems of Number Theoryby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 194 KB

english, 1964

11

[untitled]

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 201 KB

english, 1955

12

Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)by Ernst Specker

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 347 KB

english, 1959

13

Ordinal Numbers and Predicative Set Theoryby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 207 KB

english, 1965

14

[untitled]

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 206 KB

english, 1955

15

On Transfinite Inferencesby Setsuya Seki

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 134 KB

english, 1962

16

La Méthode Axiomatique et la Logique Symbolique.by A. Borgers

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 85 KB

english, 1962

17

Primeness and Heterologicalityby J. N. Killalea

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 192 KB

english, 1955

18

Die Eliminierbarkeit des Bestimmten Artikels in Kodifikaten der Analysisby Kurt Schütte

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 187 KB

english, 1956

19

[untitled]

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 192 KB

english, 1955

20

On Heterological Paradoxesby P. T. Landsberg

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 192 KB

english, 1955

21

Elementary Logic of Science and Mathematics.by P. H. Nidditch

Review by: Steven Orey

Journal:

Journal of the American Statistical Association

Year:

1961

Language:

english

File:

PDF, 110 KB

english, 1961

22

Paradoxes in n-Valued Logicsby P. T. Landsberg

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 192 KB

english, 1955

23

Sur la Formalisation des Theories Mathematiquesby Jan Lukasiewicz

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 93 KB

english, 1957

24

La Theorie des Ensemblesby A. Borgers

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 85 KB

english, 1962

25

Introduction to Symbolic Logic.by A. H. Basson; D. J. O'Connor

Review by: Steven Orey

Journal:

Journal of the American Statistical Association

Year:

1962

Language:

english

File:

PDF, 114 KB

english, 1962

26

Introductory Formal Logic of Mathematics.by P. H. Nidditch

Review by: Steven Orey

Journal:

Journal of the American Statistical Association

Year:

1961

Language:

english

File:

PDF, 110 KB

english, 1961

27

A Theorem on Maximal Setsby Joseph S. Ullian

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1962

Language:

english

File:

PDF, 104 KB

english, 1962

28

The Predicate Calculusby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 233 KB

english, 1963

29

Fundamenta Mathematicaeby G. Kreisel; H. Wang; Hao Wang

Review by: G. Hasenjaeger and Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 402 KB

english, 1965

30

Über die Widerspruchsfreiheit des Unendlichkeitsbegriffes.by Paul Lorenzen

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 335 KB

english, 1957

31

A Survey of Mathematical Logicby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 200 KB

english, 1964

32

Distributivity and an Axiom of Choiceby George E. Collins

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1958

Language:

english

File:

PDF, 206 KB

english, 1958

33

A Partial Model for Quine's "New Foundations."by Václav Edvard Beneš

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 197 KB

english, 1955

34

On an Application of Tarski's Theory of Truthby W. V. Quine

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 89 KB

english, 1954

35

On Non-Standard Models for Number Theoryby Elliott Mendelson; Y. Bar-Hillel; E. I. J. Poznanski; M. O. Rabin; A. Robinson

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 203 KB

english, 1967

36

Large Deviations. Pure and Applied Mathematicsby Jean-Dominique Deuschel; Daniel W. Stroock

Review by: Steven Orey

Journal:

American Scientist

Year:

1990

Language:

english

File:

PDF, 336 KB

english, 1990

37

A Theory of Constructive Typesby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 84 KB

english, 1954

38

A Survey of Mathematical Logicby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 306 KB

english, 1964

39

On ω-Consistency and a so-Called Axiom of Infinityby W. V. Quine

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 117 KB

english, 1954

40

On the Primitive Symbols of Quine's "Mathematical Logic."by Leon Henkin

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 90 KB

english, 1954

41

Lehrbuch der Logistikby Karl Dürr

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 342 KB

english, 1956

42

Negative Typesby Hao Wang

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 120 KB

english, 1954

43

Denumerable Markov Chains.by J. G. Kemeny; L. J. Snell; A. W. Knapp

Review by: Steven Orey

Journal:

The Annals of Mathematical Statistics

Year:

1968

Language:

english

File:

PDF, 200 KB

english, 1968

44

Simplified Foundations for Mathematical Logicby Robert L. Stanley

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 323 KB

english, 1956

45

Computing Degrees of Unsolvabilityby Hartley Rogers,

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1960

Language:

english

File:

PDF, 167 KB

english, 1960

46

Unification of Universes in Set Theoryby W. V. Quine

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 330 KB

english, 1957

47

La Méthode Formelle en Mathématique.by Jean Porte

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 81 KB

english, 1959

48

Probability Theory and Elements of Measure Theory.by Heinz Bauer

Review by: Steven Orey

Journal:

Journal of the American Statistical Association

Year:

1983

Language:

english

File:

PDF, 457 KB

english, 1983

49

La Notion D'Équivalence Entre Systèmes Formels et une Généralisation Inductive du Système dit "New Foundations" de Quine.by William S. Hatcher

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 355 KB

english, 1963

50

[untitled]

Review by: Steven Orey

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 228 KB

english, 1955

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски